Synthesis of Speed-Independent Circuits from STG-unfolding Segment1
نویسندگان
چکیده
This paper presents a novel technique for synthesis of speed-independent circuits. It is based on partial order representation of the state graph called STG-unfolding segment. The new method uses approximation technique to speed up the synthesis process. The method is illustrated on the basic implementation architecture. Experimental results demonstrating its efficiency are presented and discussed.
منابع مشابه
Partial order based approach to synthesis of speed-independent circuits
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive the logic implementation using approximation techniques. It is based on a new notion of slice, which localises the behaviour of a particular signal instance in a structural frag...
متن کاملOn Synthesis of Speed-Independent Circuits at STG Level
Synthesizing hazard-free asynchronous circuits directly at Signal Transition Graph (STG) level has been shown to need significantly less CPU time than approaches at the stategraph[10, 16, 4]. However, all previous methods at STG level were based on sufficient conditions only. Hence, the synthesized circuit results generally are inferior, due to the incomplete transformation. In this paper, we p...
متن کاملSTG Decomposition and Its Correctness∗
The behaviour of asynchronous control circuits can be specified with Signal Transition Graphs (STGs), i.e. Petri nets where transitions are labelled with rising and falling edges of circuit signals. Speed independent (SI) circuits (an important and robust subclass of asynchronous circuits) can be synthesized from STGs with tools like PETRIFY [3] and PUNF&MPSAT [6]. For this purpose, PETRIFY bui...
متن کاملSynthesis of Hazard Free Asynchronous Circuits from Signal Transition Graphs
Asynchronous systems can be modelled as concurrent systems in which events are in terepreted as signal transitions The synthesis of concurrent systems implies the analysis of a vast state space that often requires computationally expensive methods The circuits are speci ed by free choice signal transition graphs STG s a subclass of interpreted Petri nets This report analyses and compares the va...
متن کاملSTG-Based Synthesis of Speed- Independent CMOS Cells
This paper presents a method for designing speed-independent sequential cells from signal transition graphs (STG). The initial STG is assumed to satisfy the complete state coding property (CSC). It is modified by introducing auxiliary signals to satisfy the rule of alternate up and down transitions for CMOS circuits, as well as other rules derived from the properties of negative gates. Two desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997